principal domain of cot x